1976年ACMチューリング賞記念講演論理学とプログラミング - 共立出版コンピュータサイエンス誌『bit』